val y : int
structure A = 
struct 
 val x : int
end
